An Introduction to the Book Titled "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification"
نویسنده
چکیده
Received on 12 December 2014, published on 16 December 2014 Copyright © 2014 Phan Cong Vinh, licensed to ICST. This is an open access article distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/3.0/), which permits unlimited use, distribution and reproduction in any medium so long as the original work is properly cited. doi: 10.4108/casa.1.2.e6
منابع مشابه
Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction
Despite the growing mainstream importance and unique advantages of autonomic networking-onchip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification is among the first books to evaluate research results on formalizing this emerging NoC paradigm, which was inspired by the human nervous system. The third book in the Embedded Multi-Core Systems ...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملA Formal Approach to Specification, Analysis and Implementation of Policy-based Systems
The design of modern computing systems largely exploits structured sets of declarative rules called policies. Their principled use permits controlling a wide variety of system aspects and achieving separation of concerns between the managing and functional parts of systems. These so-called policy-based systems are utilised within different application domains, from network management and autono...
متن کاملFormal Methods for the Development and Verification of Autonomic IT Systems
This chapter explores ways in which rigorous mathematical techniques termed formal methods can be employed to improve the predictability and dependability of autonomic computing. Model checking, formal specification and quantitative verification are presented in the contexts of conflict detection in autonomic computing policies, and of implementation of goal and utilityfunction policies in auto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- EAI Endorsed Trans. Context-aware Syst. & Appl.
دوره 1 شماره
صفحات -
تاریخ انتشار 2014